首页> 外文OA文献 >Finding bugs in web applications using dynamic test generation and explicit state model checking

【2h】

Finding bugs in web applications using dynamic test generation and explicit state model checking

机译：使用动态测试生成和显式状态模型检查在Web应用程序中查找错误

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shay Artzi; Julian Dolby; Frank Tip; Danny Dig; Amit Paradkar; Senior Member; Michael D. Ernst;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking [J] . Artzi Shay, Kiezun Adam, Dolby Julian, Software Engineering, IEEE Transactions on . 2010,第4期

机译：使用动态测试生成和显式状态模型检查在Web应用程序中查找错误
2. Model Checking-Based Testing of Web Applications [J] . ZENG Hongwei, MIAO Huaikou Wuhan University Journal of Natural Sciences . 2007,第5期

机译：基于模型检查的Web应用程序测试
3. Modeling, Verification and Testing of Web Applications Using Model Checker [J] . Kei HOMMA, Satoru IZUMI, Kaoru TAKAHASHI, IEICE transactions on information and systems . 2011,第5期

机译：使用模型检查器对Web应用程序进行建模，验证和测试
4. Finding access control bugs in web applications with CanCheck [C] . Ivan Bocić, Tevfik Bultan IEEE/ACM International Conference on Automated Software Engineering . 2016

机译：使用CanCheck查找Web应用程序中的访问控制错误
5. An Extensible Model-Based Approach for Analyzing and Testing Dynamic Multi-Tier Web Applications [D] . Cheng, Li. 2012

机译：一种基于模型的可扩展方法，用于分析和测试动态多层Web应用程序
6. Molecular modeling and dynamics studies with explicit inclusion of electronic polarizability. Theory and applications [O] . Pedro E. M. Lopes, Benoit Roux, Alexander D. MacKerell Jr. -1

机译：随着电子极化的明确纳入分子建模和动力学研究。理论与应用
7. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking [O] . Tip Frank, Ernst Michael D., Dig Danny, 2009

机译：使用动态测试生成和显式状态模型检查查找Web应用程序中的错误

Finding bugs in web applications using dynamic test generation and explicit state model checking

著录项

引文网络

相似文献

相关主题

期刊订阅